(not_single_kboard_state): Declared.

diff --git a/src/keyboard.h b/src/keyboard.h
index d92f13a50596b6fc0d9a6b52f5e68cadc31c2f8a..4e14257359f41fdc1027bba3fffe023360c424f3 100644 (file)
--- a/src/keyboard.h
+++ b/src/keyboard.h
@@ -307,6 +307,7 @@ extern void echo_now P_ ((void));
 extern void init_kboard P_ ((KBOARD *));
 extern void delete_kboard P_ ((KBOARD *));
 extern void single_kboard_state P_ ((void));
+extern void not_single_kboard_state P_ ((KBOARD *));
 extern void push_frame_kboard P_ ((struct frame *));
 extern void pop_frame_kboard P_ ((void));
 extern void record_asynch_buffer_change P_ ((void));